On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models
نویسندگان
چکیده
Models of biochemical systems presented as a set of formal reaction rules with kinetic expressions can be interpreted with different semantics: as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets or Boolean transition systems. While the formal composition of reaction models can be syntactically defined as the (multiset) union of the reactions, the hybrid composition of models in different formalisms is a largely open issue. In this paper, we show that the combination of reaction rules with conditional events, as the ones already present in SBML, does provide the expressive power of hybrid automata and can be used in a non standard way to give meaning to the hybrid composition of heterogeneous models of biochemical processes. In particular, we show how hybrid differentialstochastic and hybrid differential-Boolean models can be compiled and simulated in this framework, through the specification of a high-level interface for composing heterogeneous models. This is illustrated by a hybrid stochastic-differential model of bacteriophage T7 infection, and by a reconstruction of the hybrid model of the mammalian cell cycle regulation of Singhania et al. as the composition of a Boolean model of cell cycle phase transitions and a differential model of cyclin activation.
منابع مشابه
A Hybrid Simulations of Heterogeneous Biochemical Models in SBML
Models of biochemical systems presented as a set of formal reaction rules can be interpreted in different formalisms, most notably as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets or Boolean transition systems. While the formal composition of reaction systems can be syntactically defined as the (multiset) union of the reactions, the c...
متن کاملFat requirement of hybrid Asp (Leuciscus aspius ♀) × Caspian Kutum (Rutilus frisii ♂); effect on growth and biochemical indices
This study aimed to determine the fat requirement and effect of dietary fat levels on growth and body composition indices of hybrid Asp (Leuciscus aspius ♀) × Caspian Kutum (Rutilus frisii ♂). For this purpose, 252 fish with an average weight of 29.3 ± 5.8 g were introduced in a completely randomized design with six treatments each with triplicate groups. After two weeks of adaptation, fish wer...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملModelling the Heterogeneous Price Setting Behavior of Firms (DSGE Approach)
Despite the empirical evidence of the difference in the degree of price stickiness of goods and services, in the new standard Keynesian models, the same price stickiness is considered for all firms producing intermediate goods. In recent years, a new generation of pricing models has been introduced to simulate the heterogeneous price setting behavior in which, unlike standard pricing models, th...
متن کاملScheduling Single-Load and Multi-Load AGVs in Container Terminals
In this paper, three solutions for scheduling problem of the Single-Load and Multi-Load Automated Guided Vehicles (AGVs) in Container Terminals are proposed. The problem is formulated as Constraint Satisfaction and Optimization. When capacity of the vehicles is one container, the problem is a minimum cost flow model. This model is solved by the highest performance Algorithm, i.e. Network Simple...
متن کامل